//REQUIRED CLASS
package project2;

import java.util.ArrayList;

import project1.*;

public class Fact
{
	private String stringname;
	private ArrayList<String> const_list;
	Fact(String name, ArrayList<String> const_list){
		this.const_list = const_list;
		this.stringname = name;
	}
	public String toString(){
		return stringname+"("+const_list.toString().replaceAll("\\[|\\]", "")+").";
	}
	public String getFactName(){
		return this.stringname;
	}
	public ArrayList<String> getConstList(){
		return const_list;
	}
}
